% This file was created with JabRef 2.9.2.
% Encoding: UTF8

@BOOK{Prawitz2006,
  title = {Natural Deduction},
  publisher = {Dover},
  year = {2006},
  author = {D. Prawitz}
}

@BOOK{vanDalen2008,
  title = {Logic and Structure},
  publisher = {Springer},
  year = {2008},
  author = {Dirk {van Dalen}},
  edition = {4}
}

